import java.rmi.Remote;
import java.rmi.RemoteException;

public interface IntSink extends Remote{
	
	/**
	 *  a single method with a single argument used to time RMI calls
	 *  
	 *  @param localParam the single parameter to ignore
	 */
	
	public void ignore(int localParam) throws RemoteException;
	
}